/*
 * crumbs_vmx.h
 *
 *  Created on: Apr 26, 2013
 *      Author: jli351
 */

#ifndef CRUMBS_VMX_H_
#define CRUMBS_VMX_H_

int crumbs_vmx_selective_syscalls(struct kvm_vcpu *vcpu, char * tag);

int crumbs_vmx_init(struct kvm_vcpu *vcpu, int rate);
int crumbs_vmx_exit(struct kvm_vcpu *vcpu);

int is_syscall(struct kvm_vcpu *vcpu);
int is_sysret(struct kvm_vcpu *vcpu);

int vmx_proc_init();
int vmx_proc_exit();

#endif /* CRUMBS_VMX_H_ */
